1. Finite transition systems : semantics of communicating systems,Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
2. Mathematics for computer science
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics,Mathematics. ، Computer science - Mathematics
رده :
QA
39
.
2
.
A688
1996
3. Mathematics for computer science
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics,، Computer science-- Mathematics
رده :
QA
39
.
2
.
A688
1996
4. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001